unit :: a -> ()
unit _ = ()